The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
The synchronization mechanism in parallel processing is a very important facility. This paper discusses the recent trends of synchronization mechanisms, especially from the point of general features and program verification.
A new parallel processing language and a scheduling algorithm for parallel processing systems are introduced. The design objectives of the language are clarity, understandability and modifiability. Considering these objectives, we give frameworks of the language. In this language, an algorithm and its constraints are described separately, and hierarchical structure of a problem decomposition is described...
The specification of a class of single resource schedulers is presented. A class of these schedulers is regarded as a parameterized data type whose formal parameter is a scheduling strategy. The specification is given by using the concept of parameterization in algebraic techniques. The specification of each scheduler instance can be directly obtained only by replacing the formal parameter with a...
This paper first discusses the program behavior models developed until now. It includes non-locality models, locality models and phase/transition models. Then a new model of program behavior is proposed. The previous models are based only on the information in the reference string generated by the program during its execution. Our approach is to utilize the information in the source programs as well...
Several analytically solvable queueing models of multiprogramming with different jobs and various scheduling disciplines are investigated. It is shown that the analysis of these models supports the optimality of the already proposed CPU scheduling discipline which assigns higher processing priority to a more I/O bound job. Furthermore, the effects of some endogenous scheduling disciplines such as...
This paper discusses the effect and the feasibility of dynamical tuning of operating systems. There are many factors which can be modified dynamically in order to handle jobs with different characteristics and they interact with each other in various ways. Repeated tuning procedure that takes the correlation among these factors into consideration is reported to achieve the improved cost performance...
A workload problem in performance evaluation of interactive systems is discussed. A simple method to create a pseudo workload usually called a synthetic job is proposed. A pseudo workload can be generated by using two functions. One of these functions is to execute deferred jobs in a time-sharing environment, and another one is to place a program being executed into waiting status during a required...
An operating system structuring concept and method is proposed. The method recognizes "resource" as the most important structuring concept and unit of the operating systems. A resource module can be of two kinds; a reusable resource module or a consumable resource module, and it contains a set of functions through which the resource is accessed. The consumable resources are primarily used...
An attempt has been made to classify various aspects of the OS interface, to review evolutionary changes in each aspect, and to project the future. The advancement of the OS, the changes in its environment, and the future of the OS with particular emphasis on end-user orientation are briefly covered. The author predicts that low-cost, colour/graphics displays with both interactive dialogues...
The intelligent console (INC) is a microcomputer inserted between a computer and its opetator console. Although INC is simple, it offers a very flexible user interface of a computer system. Usually, a user interface of a computer system is pre-specified by its operating system. So, if we want somewhat non-standard usage of a computer system, such as remote access to a batch opetating system, we must...
This paper introduces a language concept, guarding processes, as a method of structuring concurrent programs in distributed computing systems without a common memory. In the concept a program consists of modules each of which defines objects and servers with multi-processes The concept is based on two types of path expression. One type is used to achieve synchronization, mutual exclusion, and autonomous...
In a massively parallel processing system consisting of hundreds or thousands of processors, the shared data system is unfeasible and the distributed data system seems more promising. Among other architectures the binary tree structure is considered most excellent. Some characteristics of the binary tree multiprocessor, which is named CORAL, are discussed. An operating system for CORAL is designed...
Planning and design considerations are presented for a full scale high performance heterogeneous computer network coupled by a 100 MBPS optical fiber ring bus. The design goals of this system are efficient resource sharing and improved RAS. All common resources, such as processors, peripheral devices, terminals and file devices, are directly connected to the ring bus, instead of directly to a processor...
To connect a new node to an established computer network, it is needed to confirm that the new node is constructed conforming to the network protocol. This paper describes a method to validate the protocol of the product based on an automaton model. The node to be tested is connected to protocol tester which applies a test sequence and observes the response from the node. Considering the fact that...
We present a language, the Task Graph Language for the centralized representation of distributed control in the Mininet distributed operating system. This context-free language allows a programmer to specify the inter-process communication between a suite of distributed processes in the form of a Task Graph (centralized representation) and to have the constraints of the Task Graph enforced at run-time...
We consider the following problem concerning any two finite state machines M and N which exchange messages via two one-directional channels. "Is there a positive integer K such that M and N with K-capacity channels never reach a nonprogress state?" The problem is shown to be undecidable in general. For a reasonable class of communicating machines, the problem is shown to be decidable; and...
The nested table data model (NTD) is proposed as a powerful office data modeling tool, and basic aspects of data handling in NTD are discussed. Nested tables are introduced as straightforward and uniform office data representation forms, and four form transformer operators are defined for manipulating nested tables. Then, reversibility and commutability of the form transformer operators are examined.
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.